Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  197 results for ""[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]""

Your Filters

Collection : Hal Lyon 1 (University Claude Bernard Lyon 1) Filter by : Subject
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Report

Tannaka-Krein duality for Roelcke-precompact non-archimedean Polish groups ; Dualité de Tannaka-Krein pour les groupes polonais Roelcke-precompact non-archimédiens

Subjects: oligomorphic groups; unitary representations; ω-categorical

  • Source: https://hal.science/hal-04525798 ; 2024.

Record details

Read More Add to Saved list
×
Report

Sharply 2-transitive groups of finite Morley rank

Subjects: sharply $2$-transitive; Frobenius group; finite Morley rank

  • Source: https://hal.science/hal-01935537 ; 2024.

Record details

Read More Add to Saved list
×
Academic Journal

Positive First-Order Logic on Words and Graphs

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

  • Source: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-03865495 ; Logical Methods in Computer Science, 2023, 19 (3), pp.7:1 - 7:35. ⟨10.46298/LMCS-19(3:7)2023⟩

Record details

Read More Add to Saved list
×
Academic Journal

Carlson-Simpson's lemma and applications in reverse mathematics

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

  • Source: ISSN: 0168-0072 ; Annals of Pure and Applied Logic ; https://hal.science/hal-04093414 ; Annals of Pure and Applied Logic, 2023, 174

Record details

Read More Add to Saved list
×
Academic Journal

Quasi groupes de Frobenius dimensionnels

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]

  • Source: ISSN: 2832-904X.

Record details

Read More Add to Saved list
×
Report

Kim-forking for hyperimaginaries in nsop1 theories

Subjects: Kim-forking; hyperimaginaries; Classification theory

  • Source: https://hal.science/hal-03823276 ; 2023.

Record details

Read More Add to Saved list
×
Report

Kim-forking for hyperimaginaries in nsop1 theories

Subjects: Kim-forking; hyperimaginaries; Classification theory

  • Source: https://hal.science/hal-03823276 ; 2023.

Record details

Read More Add to Saved list
×
Report

Finite dimensional soluble groups

Subjects: finite dimension; group; nilpotent

  • Source: https://hal.science/hal-04008765 ; 2023.

Record details

Read More Add to Saved list
×
Report

A note on some example of NSOP1 theories

Subjects: Kim-independence; Classification theory; Nsop1 theories

  • Source: https://hal.science/hal-04064032 ; 2023.

Record details

Read More Add to Saved list
×
Academic Journal

CM-trivial structures without the canonical base property

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

  • Source: ISSN: 2832-904X.

Record details

Read More Add to Saved list
×
  • 1-10 of  197 results for ""[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]""